resolution n. 1.决心,果断;坚定,刚毅。 2.(议会等的)决定,决议(案);【法律】〔罕用语〕判决;(疑问等的)解决,解答。 3.分解,溶解;解析,离析;变形,变化,转化。 4.【医学】(疮肿等的)消散;〔罕用语〕松弛。 5.【音乐】由不谐和音转变为谐和音;【诗】用二短音节代替一长音节。 6.【机械工程】分解力;【自动化】分辨(力)。 a man of no resolution of character 意志不坚定的人。 visual resolution 目力分辨率。 come to a resolution=from [make, take] a resolution 决心。 make good resolutions 下定改好的决心。 pass a resolution in favour of [against] 通过赞同[反对]…的决议。
Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set 接着给出广义调解的有效性证明,然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。